Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)

نویسندگان

  • Holger Giese
  • Bernhard Rumpe
  • Bernhard Schätz
  • Janos Sztipanovits
چکیده

Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441) Holger Giese, Bernhard Rumpe, Bernhard Schätz, and Janos Sztipanovits . . . . . . . . 1 Data Mining, Networks and Dynamics (Dagstuhl Seminar 11451) Lars Elden and Andreas Frommer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 Analysis of Dynamic Social and Technological Networks (Dagstuhl Seminar 11452) Vito Latora, Cecilia Mascolo, and Mirco Musolesi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 Coding Theory (Dagstuhl Seminar 11461) Joachim Rosenthal, M. Amin Shokrollahi, and Judy L. Walker . . . . . . . . . . . . . . . . . . . 50 Efficient Algorithms for Global Optimisation Methods in Computer Vision (Dagstuhl Seminar 11471) Andrés Bruhn, Thomas Pock, and Xue-Cheng Tai . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 [email protected] (Dagstuhl Seminar 11481) Uwe Aßmann, Nelly Bencomo, Betty H.C. Cheng, and Robert B. France . . . . . . . . . 91

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dagstuhl Seminar 11441 Science and Engineering of Cyber - Physical Systems

Today, a new category of engineering systems is emerging that combines the physical with the computational in a holistic way: Cyber-physical systems (CPS). The key property of these systems is that functionality and salient system properties are emerging from an intensive interaction of physical and computational components. Traditional separation along engineering disciplines in the design of ...

متن کامل

Efficient Algorithms for Global Optimisation Methods in Computer Vision (Dagstuhl Seminar 11471)

Today, a new category of engineering systems is emerging that combines the physical with the computational in a holistic way: Cyber-physical systems (CPS). The key property of these systems is that functionality and salient system properties are emerging from an intensive interaction of physical and computational components. Traditional separation along engineering disciplines in the design of ...

متن کامل

Science and Engineering of Cyber - Physical Systems

Today, a new category of engineering systems is emerging that combines the physical with the computational in a holistic way: Cyber-physical systems (CPS). The key property of these systems is that functionality and salient system properties are emerging from an intensive interaction of physical and computational components. Traditional separation along engineering disciplines in the design of ...

متن کامل

Formal Synthesis of Cyber-Physical Systems

This report documents the program and the outcomes of Dagstuhl Seminar 17201 “Formal Synthesis of Cyber-Physical Systems.” Formal synthesis is the application of algorithmic techniques based on automata and logic to the design of controllers for hybrid systems in which continuous components interact with discrete ones. The Dagstuhl seminar brought together researchers from control theory and fr...

متن کامل

Dagstuhl Seminar 14122 Verification of Cyber - Physical Systems

Cyber-physical systems refer to a new genre of engineered systems consisting of a tight coupling between computation, communication and physical entities. The main focus of the seminar was to discuss issues related to the reliable development of cyber-physical systems by using formal verification. This is a multi-disciplinary area requiring collaboration between areas focusing discrete systems ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Dagstuhl Reports

دوره 1  شماره 

صفحات  -

تاریخ انتشار 2011